Odaily星球日报讯 Web3基金会公布第17期资助项目名单，涵盖用户端产品、协议层、合约层、API工具、代码模块、Layer2和钱包等多个领域，包括ChainSafe、OmniBTC、Tellor、FuzzLand、Me Protocol、ArtZero、Runtime Verification、Blockcoders等46个项目入选。

以太坊质押协议Swell Network推出主网候选版本。该版本代码已经经过Runtime Verification、Peckshield、Slowmist、Certik和Chainsulting的审计，并将进行进一步的审计并推出漏洞赏金计划。

固定利率借贷协议Element Finance发文称，Runtime Verification和ChainSafe两家区块链技术公司已对Element的代码进行审计，并已公开审计报告。据悉，Runtime Verification在审计过程中发现17处Bug，ChainSafe发现1个关键和5个主要Bug。目前，Element已对审计出的Bug进行修复。 此外，Element Finance已将其治理委员会合约代码开源，用户可通过对应的去中心化域名对代码进行审查。Element Finance已经扩大Immunefi漏洞赏金计划的范围，以涵盖治理委员会智能合约。

DeFi借贷协议Alchemix在产品路线图中表示，V2版本将于11月1日提交至Runtime Verification进行安全审计，并同步部署至测试网，当安全审计通过和测试网经过彻底的测试后才会部署至主网。Alchemix计划进行EVM兼容链的多链部署，可能会考虑Arbitrum、Polygon、Fantom、BSC、Solana和Avalanche，但尚未决定上线不同网络的顺序。另外Alchemix还会考虑支持更多合成资产，包括alBTC和其他几个目前还不能公开的资产。

形式化验证工具Runtime Verification完成530万美元融资，IOSG Ventures领投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation参投。募集的资金将用于加速工具的开发，旨在提高不同区块链和嵌入式系统的安全性、可靠性和正确性。